Second-order predicate calculus
[計(jì)] 二階謂詞演算
?? 詞語(yǔ)組成解析
second
['s?k?nd]
n. 秒;瞬間;次貨;第二份食物;
adj. 第二的;次要的;居第二位的;另外的;
adv. 第二;其次;以第二位;
vt. 支持;臨時(shí)調(diào)派;附議;贊成提案;
sec跟隨+ond=one第一→跟隨第一個(gè)之后→第二；秒
order
['?:d?]
n. 命令;秩序;規(guī)則，制度;次序;
vt. 命令;訂購(gòu);整理;
vi. 下訂單;
predicate
['predikit]
vt. 斷言，斷定;宣布，宣講;使基于;
vi. 斷言，斷定;
n. 謂語(yǔ);述語(yǔ);
adj. 謂語(yǔ)的;述語(yǔ)的;
calculus
['k?lkj?l?s]
n. [醫(yī)]結(jié)石，石，積石，牙垢;[數(shù)]運(yùn)算，演算，微積分（學(xué)）;
ule,ulus 后綴;表”小,少”#詞根助記：calc石頭(古時(shí)候用石頭來計(jì)算)##calc 石灰,石頭#詞根助記：calc石頭(古時(shí)候用石頭來計(jì)算)
??? 情景例句
Good-bye.
再見。
Better be the head of a dog than the tail of a lion.
寧為犬首，不作獅尾。
But I was extremely pleased with myself.
但我卻非常高興，